#include <picolibc.h>

#ifdef __x86_64
#include "memcpy-64.S"
#else
#include "memcpy-32.S"
#endif
